| 1. | Know different checking tools and find problems and solve them
熟知不同检测工具，发现问题并解决问题。 |
| 2. | The object of this paper is to verify security protocols with model checking tools
本课题的研究目的是采用模型检验工具对安全协议进行验证。 |
| 3. | The accessibility checking tool is not available in visual web developer express edition
Visual web developer速成版中未提供可访问性检查工具。 |
| 4. | It s always nice to send one s code through an automated checking tool - and watch it pass
发送代码，使其通过一个自动检查工具并看着它通过总是很不错的。 |
| 5. | The accessibility checking tool is not available in the microsoft visual web developer express edition
Microsoft visual web developer速成版中未提供辅助功能检查工具。 |
| 6. | Necessary q - check points in process and have final inspection . spc is used . necessary checking tools and testing equipments are available
生产过程有必要的质量检查点和最终检验。使用了spc 。有必要的测量和实验仪器。 |
| 7. | While these link checking tools are far from new , you may not have heard of them , or may have some tools to add to the mix or suggestions of how to use these particular tools more effectively
你可能没有听说过这些链接检查工具，但它们已经产生很久了；或者与其它工具混合使用过；或者了解使用这些工具的方法。 |
| 8. | At last , we draw out some core modules of pems . directed by theories and methods of software reliability , we use static check tools pc - lint and splint to check those modules , and write some programs to test them
最后,抽取pems的核心模块,应用可靠性理论和方法,使用静态检测工具pc - lint和splint对这些模块进行检测,开发测试程序进行测试。 |
| 9. | We have designed and implemented an uml - based model checking tool , uml - mc . it can verify the statecharts modeled by rational rose or i - logix rhapsody . the counter - examples will be given when system does not meet the properties
我们设计并实现了一个uml模型检验工具uml - mc ，可以对rationalrose或i - logixrhapsody建立的statecharts模型进行验证，并能在性质不满足时给出反例路径。 |
| 10. | First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介绍了安全协议的概念、分类和性质，安全协议的形式化验证方法，以及小系统模型的原理；重点分析和研究了符号化模型检验工具smv的原理和语法及其对安全协议进行模型检验时的工作机理，而且使用smv对needham - schroeder公钥协议和wooandlam对称钥协议进行了形式化建模与模型检验，发现了它们的安全漏洞。 |
